1. ارائه الگوریتم بهینه کشف قوانین انجمنی در بانک های اطلاعاتی بااستفاده ازالگوریتم های تکاملی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

2. ارائه الگوریتمی کارا برای کلاس بندی جریان های داده ای

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

3. ارائه راهکاری برای بررسی نقض ویژگی انصاف در سیستم های توصیف شده با تبدیل گراف

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

4. ارائه راهکاری برای کشف آسیب پذیری پروتکل تراکنش الکترونیکی امن با کمک وارسی مدل

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

5. ارائه راهکاری ترکیبی برای افزایش کارایی سیستم های پیشنهاد دهنده به کمک آنتولوژی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

6. ارائه راهکاری مبتنی بر سیستم های وارسی مدل برای تحلیل آسیب‌پذیری‌های امنیتی پروتکل OpenFlow در شبکه‌های نرم‌افزار‌محور

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

7. ارائه راهکاری مبتنی بر فرایندکاوی جهت شناسایی بدافزارها

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

موضوع : بدافزار ، داده کاوی ، استخراج ویژگی ، الگوریتم فرابتکاری ، دسته بند

8. ارائه راهکاری مبتنی بر وارسی مدل اصلاح شده برای حل مسائل برنامه ریزی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

9. ارائه راهکاری مبتنی بر یادگیری ماشین برای کشف و اصلاح باگ‌های کد با استفاده از تبدیلات خودکار مدل

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

موضوع : کشف باگ، یادگیری ماشین، وارسی مدل، شبکه عصبی گراف، سیستم تبدیل گراف، تصحیح باگ

10. ارائه راهکاری نوین برای رفع مشکل انفجار فضای حالت در سیستم های تبدیل گراف با استفاده از الگوریتم های بهینه سازی ازدحام ذرات تطبیقی فازی و ژنتیک فازی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

11. ارائه روش رسمی برای اعتبارسنجی عملکرد ماشین قلب - ریه

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

12. ارائه روشی ارزیابی کارایی مدل های توصیف شده با سیستم تبدیل گراف در معماری سرویس گرا

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

13. ارائه روشی رسمی برای ارزیابی کارایی مدل های معماری نرم افزار

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

14. ارائه روشی رسمی برای ارزیابی کارایی مدل های نرم افزاری مبتنی بر UML

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

15. ارائه مدل مبتني بر الگوريتم ژنتيك به منظور شناسايي جوامع در شبكه اجتماعي (اينستاگرام)

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

موضوع : شبکه ی اجتماعی، الگوريتم ژنتيک بهبود یافته، شناسايي جوامع، اينستاگرام

16. ارائه مدلی مبتنی بر یادگیری ماشین برای تشخیص بدافزارهای اندرویدی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

موضوع : اندروید، تشخیص بد افزار، شبکه عصبی، یادگیری ماشین، انتخاب ویژگی، تحلیل معنایی ویژگی

17. ارائه ی یک پروتکل مسیریابی آگاه از انرژی و کیفیت سرویس با ترکیب کلونی مورچه و سیستم فازی در شبکه های حسگر بی سیم

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

18. ارائه یک استراتژی فرامکاشفه ای در بهینه سازی تولید دنباله آزمون ترکیباتی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

19. ارایه یک روش جدید مبتنی براستفاده ازعامل های متحرک برای تشخیص و جلوگیری از حمله سینک حول در شبکه های سنسور بی سیم

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)

20. ارائه یک رویکرد برای کاوش نظرات با استفاده از تکنیک های متن کاوی

پدیدآورنده :

کتابخانه: Central Library and Document Center of Arak University (Markazi)